Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix some issues with Vararg #20204

Merged
merged 2 commits into from
Jan 26, 2017
Merged

fix some issues with Vararg #20204

merged 2 commits into from
Jan 26, 2017

Conversation

JeffBezanson
Copy link
Member

@JeffBezanson JeffBezanson commented Jan 24, 2017 •
edited
Loading

@JeffBezanson
fix inference of Tuple{unknown}, where the parameter can be a Vararg
bf4b429
@JeffBezanson
fix some more Vararg issues
bf2787d 
- fix #11480, don't use `Type{_} where _<:Vararg` in inference
- disallow `Vararg` in type var bounds
- disallow `Vararg` as a type parameter in general
- move some checks from lower-level functions to apply_type
@kshyatt kshyatt added the types and dispatch Types, subtyping and method dispatch label Jan 24, 2017
@JeffBezanson
Copy link
Member Author

Any thoughts @vtjnash ?

@JeffBezanson JeffBezanson merged commit 64fde38 into master Jan 26, 2017
@tkelman tkelman deleted the jb/vararginffix branch January 26, 2017 21:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vtjnash vtjnash vtjnash approved these changes

Assignees
No one assigned
Labels
types and dispatch Types, subtyping and method dispatch
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Vararg's cannot be matched with function parameters
3 participants
@JeffBezanson @vtjnash @kshyatt